Concurrent engineering

Results: 1149



#Item
31Parallel algorithms for accurate sum and dot product on GPU Tomohiro SUZUKI∗ Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi Accurate summation and dot product algorithms of float

Parallel algorithms for accurate sum and dot product on GPU Tomohiro SUZUKI∗ Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi Accurate summation and dot product algorithms of float

Add to Reading List

Source URL: iwapt.org

Language: English - Date: 2009-08-27 22:50:17
32Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp  Thanks To

Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp Thanks To

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-04-27 09:35:02
33On the Interplay of Link-Flooding Attacks and Traffic Engineering Dimitrios Gkounis1 , Vasileios Kotronis2 , Christos Liaskos3 , Xenofontas Dimitropoulos3∗ 1 NEC  2 ETH Zurich, Switzerland

On the Interplay of Link-Flooding Attacks and Traffic Engineering Dimitrios Gkounis1 , Vasileios Kotronis2 , Christos Liaskos3 , Xenofontas Dimitropoulos3∗ 1 NEC 2 ETH Zurich, Switzerland

Add to Reading List

Source URL: inspire.edu.gr

Language: English - Date: 2016-04-22 11:14:02
34ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Monthly Peer Reviewed Open Access International e-Journal

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Monthly Peer Reviewed Open Access International e-Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2014-12-03 08:02:46
35Code Style Randy Shepherd NYU Correctness is not Sufficient ●

Code Style Randy Shepherd NYU Correctness is not Sufficient ●

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2014-03-05 12:03:11
36Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1  2

Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2007-11-21 11:00:56
37Conversational Programming in Action Alexander Repenning AgentSheets Inc. Boulder 80301, Colorado, USA  Abstract – Accelerated by the Do-It-Yourself mindset of the

Conversational Programming in Action Alexander Repenning AgentSheets Inc. Boulder 80301, Colorado, USA Abstract – Accelerated by the Do-It-Yourself mindset of the

Add to Reading List

Source URL: www.cs.colorado.edu

Language: English - Date: 2011-07-24 21:52:56
38The Influence of Pervasive Archetypes on Electrical Engineering Ike Antkare International Institute of Technology United Slates of Earth

The Influence of Pervasive Archetypes on Electrical Engineering Ike Antkare International Institute of Technology United Slates of Earth

Add to Reading List

Source URL: membres-lig.imag.fr

Language: English - Date: 2014-01-09 04:24:29
39Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie  Department of Electrical and Computer Engineering

Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie Department of Electrical and Computer Engineering

Add to Reading List

Source URL: www.eecg.toronto.edu

Language: English - Date: 2010-02-12 11:46:54